بديهية الاختيار بالانجليزي

• axiom of choice

• بديهية    n. axiom
• الاختيار    n. choice
• الاختيارية    electiveness

أمثلة

1. The proof needs the axiom of choice.
   يتطلب الإثبات بديهية الاختيار.
2. The proof needs the axiom of choice.
   يتطلب الإثبات بديهية الاختيار.
3. Contemporary set theorists also study axioms that are not compatible with the axiom of choice, such as the axiom of determinacy.
   كما قام بعض واضعي نظريات المجموعات المعاصرين بدراسة البديهيات التي لا تتوافق مع بديهية الاختيار، مثل بديهية التحديد.
4. The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.
   بديهية الاختيار تُعرِض عنها بعض أنواع الرياضيات التركيبيّة، على الرغم من وجود بعض الأنواع الأخرى من الرياضيات التركيبية التي تعتنق فكرة بديهية الاختيار.
5. The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.
   بديهية الاختيار تُعرِض عنها بعض أنواع الرياضيات التركيبيّة، على الرغم من وجود بعض الأنواع الأخرى من الرياضيات التركيبية التي تعتنق فكرة بديهية الاختيار.